Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
241	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic
242	UT DALLAS Erik Jonsson School of Engineering & Computer Science Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2013-10-28 13:05:49 Integrated circuits Logic families MOSFET Subthreshold slope CMOS Dynamic voltage scaling Field-effect transistor Transistor Subthreshold conduction Electronic engineering Electronics Technology
243	WebControlTM Technical Manual Version: Add to Reading List Source URL: www.cainetworks.com Language: English - Date: 2009-03-18 13:48:18 Internet standards Computing File Transfer Protocol Port Transistor–transistor logic IP address Dynamic Host Configuration Protocol X display manager Curl-loader Internet protocols Internet Network architecture
244	STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer Add to Reading List Source URL: nesl.ee.ucla.edu Language: English - Date: 2005-10-01 21:19:04 Polyspace Program analysis Software testing Ada Programming language Formal methods Logic in computer science Static program analysis Dynamic program analysis Computing Software engineering Programming language theory
245	In: Proc. of BPM 2006 International Workshops, Dynamic Process Management (DPM), pp[removed]LNCS[removed]Springer Verlag. Flexibility of Data-driven Process Structures Add to Reading List Source URL: dbis.eprints.uni-ulm.de Language: English - Date: 2011-10-14 06:23:35 Object Process management Entailment Logic Object-oriented programming Data model
246	In Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems (“Async2000”), April 2–6, 2000, Eilat, Israel. Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2001-02-07 01:41:26 Electronics Dynamic random-access memory Pipeline Dynamic logic Eval Flip-flop Computer memory Computing Computer hardware
247	Submission to SC’06 The Technology Lane on the Road to a Zettaflops Add to Reading List Source URL: www.cse.nd.edu Language: English - Date: 2007-01-07 16:23:32 Electronics Cellular automata Automata theory Quantum dot cellular automaton Computer memory Logic family Logic gate Dynamic random-access memory FLOPS Electronic engineering Digital electronics Electronic design
248	Accepted for publication (shorter version), IEEE Trans. On VLSI, 2006 Minimal Energy Asynchronous Dynamic Adders Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2006-04-29 13:00:49 Adders Electromagnetism Integrated circuits Digital electronics Computer arithmetic Carry-lookahead adder XOR gate Pass transistor logic NMOS logic Electronic engineering Logic families Electronics
249	Xilinx DS031 Virtex-II Platform FPGAs: Complete Data Sheet, data sheet Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2013-03-04 08:35:07 Xilinx Digital electronics Field-programmable gate array Embedded systems Joint Test Action Group Complex programmable logic device Ball grid array Flip-flop Synchronous dynamic random-access memory Electronic engineering Electronics Reconfigurable computing
250	Formalizing Dynamic Software Updating Gavin Bierman† † Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-11-14 07:07:40 Applied mathematics Logic in computer science Formal methods Denotational semantics Dynamic Software Updating Module Lambda calculus Combinatory logic Theoretical computer science Models of computation Mathematics

UPDATE